wayland: Stop key repeat when a seat goes away

Seems unlikely, but it is the right thing to do.

diff --git a/gdk/wayland/gdkdevice-wayland.c b/gdk/wayland/gdkdevice-wayland.c
index 3a9c334e33703c2e16cd8c5baff1e593f70c45af..5201d7d313099350d9b7368d5779c412d44fd2bd 100644 (file)
--- a/gdk/wayland/gdkdevice-wayland.c
+++ b/gdk/wayland/gdkdevice-wayland.c
@@ -2267,6 +2267,7 @@ _gdk_wayland_device_manager_remove_seat (GdkDeviceManager *manager,
           g_clear_object (&device->keyboard_settings);
           g_hash_table_destroy (device->touches);
           gdk_window_destroy (device->foreign_dnd_window);
+          stop_key_repeat (device);
           g_free (device);
 
           break;